Athenian: Booleans

boolean1	less_than1	not_equal1
boolean2	less_than2	not_equal2
boolean3	is_equal1	divisibility
greater_than1	is_equal2
greater_than2	is_equal3